- logical formula
- мат.логическая формула
English-Russian scientific dictionary. 2008.
logical formula
Смотреть что такое "logical formula" в других словарях:
Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical block addressing — (LBA) is a common scheme used for specifying the location of blocks of data stored on computer storage devices, generally secondary storage systems such as hard disks. The term LBA can mean either the address or the block to which it refers.… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical spreadsheet — A logical spreadsheet is a spreadsheet in which formulas take the form of logical constraints rather than function definitions.In traditional spreadsheet systems, such as Excel, cells are partitioned into directly specified cells and computed… … Wikipedia
Logical consequence — Therefore redirects here. For the symbol, see therefore sign. Logical consequence is a fundamental concept in logic. It is the relation that holds between a set of sentences (or propositions) and a sentence (proposition) when the former entails… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
Logical effort — The method of logical effort, a term coined by Ivan Sutherland and Robert Sproull in 1991, is a straightforward technique used to estimate delay in a CMOS circuit. Used properly, it can aid in selection of gates for a given function (including… … Wikipedia
Formula — For other senses of this word, see formula (disambiguation). In mathematics, a formula (plural: formulae[1] or formulas[1]) is an entity constructed using the symbols and formation rules of a given logical language. In science, a formula is a… … Wikipedia
formula — I. noun (plural las or formulae) Etymology: Latin, diminutive of forma form Date: 1618 1. a. a set form of words for use in a ceremony or ritual b. a conventionalized statement intended to express some fundamental truth or principle especially as … New Collegiate Dictionary
